$\forall$$t$:$\mathbb{N}$, $w$:World, ${\it ln}$:IdLnk. (0 $<$ $\parallel$queue(${\it ln}$;$t$)$\parallel$) $\Rightarrow$ (mlnk(hd(queue(${\it ln}$;$t$))) = ${\it ln}$)